Kekule und seine Benzolformel: Vier Vortrage

Vier-Farben-Satz und Mobilfunksendetechnik

Als der südafrikanische Mathematiker und Botaniker Francis Guthrie 1852 eine farbige Landkarte der englischen Grafschaften entwarf, fand er heraus, dass er immer nur vier verschiedene Farben benötigte, um die Karte so einzufärben, dass benachbarte Ländereien nicht in der gleichen Farbe markiert waren. Er probierte dies auch mit anderen Karten, auch mit selbst entworfenen, sehr komplizierten Kar...

Die vier Elementar-Ontologien semantischer Interpretation und ihre empirischen Folgen

In der Logik wird eine semantische Beziehung zwischen der formalen Sprache und der Welt etabliert, indem diese beiden Ebenen und die systematische Beziehung zwischen ihnen definiert werden. Die Theorie hinter dieser Methode wurde in ihrer noch heute gültigen Form von ALFRED TARSKI (1902–1983) präsentiert. Die Interpretation einer Logiksprache soll bestimmen, unter welchen Umständen die Ausdrück...

Beratungsdialog im WWW: Ein konversationales Modell und seine Implementierung

The paper deals with the development of advice-giving agents on the WWW. Based on work in the EU project VIP-Advisor, a general dialogue model was developed for advice sessions which formed the basis of the realisation of an advice-giving agent. Its dialogue capability was extended using case-based reasoning (CBR) methods such that the system was not only able to execute the intended dialogue p...

Der Asymmetrische Dominanzeffekt und seine Bedeutung für E-Tourismus-Plattformen

Ein retargierbarer Mikrocode-Compiler und seine Anwendung in Entwurfsverifikation und Architekturbewertung

Die vorliegende Arbeit beschreibt einen retargierbaren Compiler. Ein solcher Compiler ist in der Lage für verschiedenen Zielmaschinen (Targets) Maschinencode zu erzeugen. Einsatzgebiete dieses Compilers sind vor allem: die Codeerzeugung für anwendungsspezifische Spezialprozessoren (speziell auch für Maschinen großer Befehlswortbreite), die Verifikation einer manuell erzeugten Hardwarestruktur g...